|
|
Modeling and Simulation of Incentive Mechanisms in Ethereum
Burianová, Tereza ; Fiedor, Jan (referee) ; Perešíni, Martin (advisor)
Tématem této bakalářské práce je poplatkový mechanismus v síti Ethereum, zejména změny představeny v EIP-1559. Cílem práce je zkoumat chování mechanismu a navrhnout případná možná vylepšení v případě nalezených nedostatků. Dříve používaný aukční systém vyžadoval libovolné nastavení výše poplatku uživatelem, což vedlo k přeplatkům a vysoké volatilitě výše poplatků. Tyto problémy nastaly převážně kvůli vyššímu vytížení sítě po popularizaci projektů jako například decentralizované finance, NFT kolekce a metaverse. Nový poplatkový mechanismus zavedl proměnlivou velikost bloku, která se dokáže přizpůsobit aktuálnímu vytížení sítě. Base fee, hodnota značící minimální výši poplatku potřebnou pro zahrnutí do bloku, je pak vypočítána na základě zaplněnosti předchozího bloku, což dělá poplatky více předvídatelnými. Bylo navrženo několik simulačních experimentů, které zkoumají typické chování a možné slabiny mechanismu. Nakonec bylo nalezeno možné vylepšení a byl navržen další výzkum. Cíle práce byly splněny a výsledky byly prezentovány.
|
|
|
Model Based Design of the Conference System
Caha, Matěj ; Janoušek, Vladimír (referee) ; Kočí, Radek (advisor)
This thesis deals with the topic of model-based design and application of simulation in system design. In the introduction, the thesis discusses the history of software development process and outlines the current status. The aim is to demonstrate a model-driven design on a case study of conference system. There will be presented formalisms of DEVS and OOPN together with experimental tools PNtalk and SmallDEVS that allow to work with these formalisms. The resulting model of conference system will be deployed as part of a web application using a framework Seaside in the Squeak environment.
|
|
|
Laboratory tasks for Amira DTS200
Sikora, Jan ; Pohl, Lukáš (referee) ; Blaha, Petr (advisor)
In this work is introducing the laboratory system Amira DTS 200. It concerns of a system of 3 communicating vessels, pumps and pressure liquid level sensors. At this system are make several task on identification and regulation liquid level. System is simulated and controlled in Simulink diagram. Control is real-time via the Matlab Real- Time toolbox. System is identified by the help of analyses physical equation and their transferring to Simulink blocks. Some unknown parameters are experimentally measured. In regulation tasks is solved linearization, various basic methods of controller design and their using. Tasks include few check questions for students.
|
|
|
AC Drives Modeling in Modelica
Lalović, Goran ; Otava, Lukáš (referee) ; Václavek, Pavel (advisor)
Tato závěrečná bakalářská práce se zabývá s postupy fyzikálního modelování a simulaci střídavých pohonů v jazyce Modelica a prostředí OpenModelica. Za prvé, zde se nachází přehled všeobecných vlastností modelů pro základní typy střídavých pohonů, asynchronní a synchronní stroje a příslušných regulačních struktur v prostředí OpenModelica. Poté se bakalářská práce zaměřuje na srovnání chování vytvořených modelů s dostupnými modely v prostředí Matlab-Simulink. Cílem bakalářské práce bylo vyexportovat FMU, přeložit, odsimulovat a prácovat s modely z prostředí OpenModelica do Matlab-Simulink. Teoretický popis základních typů střídavých pohonů se nachází na prvních dvou kapitolách. Ve třetí kapitole se bakalářská práce zabývá srovnáváním modelů vytvořených v OpenModelica a Matlab-Simulink, a porovnává výsledky simulace. Na konci, jsou uvedeny základní informace o standardu FMI, FMU a mluví se o překadu modely z prostřdí OpenModelica, pomocí JModelica-y do Matlab-Simulink-u.
|
|
|
Cellular Automata Simulator
Martinek, Dominik ; Polášek, Petr (referee) ; Peringer, Petr (advisor)
This work describes concept and implementation of cellular automata simulator. It is resolved into three thematic parts. First part is devoted to describe many kinds of cellular automata.In second part is concept of simulator. Thirt part contains procedure of implementation and some test and exemplary models.
|
|
|
LIFE CYCLE COST MODEL OF AN APARTMENT BUILDING
Galatíková, Milada ; Bradáč, Albert (referee) ; Comorek,, Martin (referee) ; Heralová,, Renáta Schneiderová (referee) ; Marková, Leonora (advisor)
Doctoral thesis Life cycle cost model of an apartment building includes the process of modeling, starting with the theoretical definition and ending up with testing it for practical usage, the error measurement and its recalling abilities. The aim is to construct a model for simulating the life cycle costs of an apartment building during the phase of purchasing it followed with the simulation of life cycle costs having the conditions defined in advance. The method of the model construction shall be found in stating an appropriate representative, setting the entrance parameters and defining the condition under which it is supposed to work. The last step is to test the created model in order to find possible mistakes. Mathematically-statistical methods shall be used for setting the model. Another researching method comprises of creating several exemplary studies which shall correct the costs model and expand its applicability.
|
|
|
Modeling and Simulation of Incentive Mechanisms in Ethereum
Burianová, Tereza ; Fiedor, Jan (referee) ; Perešíni, Martin (advisor)
Tématem této bakalářské práce je poplatkový mechanismus v síti Ethereum, zejména změny představeny v EIP-1559. Cílem práce je zkoumat chování mechanismu a navrhnout případná možná vylepšení v případě nalezených nedostatků. Dříve používaný aukční systém vyžadoval libovolné nastavení výše poplatku uživatelem, což vedlo k přeplatkům a vysoké volatilitě výše poplatků. Tyto problémy nastaly převážně kvůli vyššímu vytížení sítě po popularizaci projektů jako například decentralizované finance, NFT kolekce a metaverse. Nový poplatkový mechanismus zavedl proměnlivou velikost bloku, která se dokáže přizpůsobit aktuálnímu vytížení sítě. Base fee, hodnota značící minimální výši poplatku potřebnou pro zahrnutí do bloku, je pak vypočítána na základě zaplněnosti předchozího bloku, což dělá poplatky více předvídatelnými. Bylo navrženo několik simulačních experimentů, které zkoumají typické chování a možné slabiny mechanismu. Nakonec bylo nalezeno možné vylepšení a byl navržen další výzkum. Cíle práce byly splněny a výsledky byly prezentovány.
|
|
|
AC Drives Modeling in Modelica
Lalović, Goran ; Otava, Lukáš (referee) ; Václavek, Pavel (advisor)
Tato závěrečná bakalářská práce se zabývá s postupy fyzikálního modelování a simulaci střídavých pohonů v jazyce Modelica a prostředí OpenModelica. Za prvé, zde se nachází přehled všeobecných vlastností modelů pro základní typy střídavých pohonů, asynchronní a synchronní stroje a příslušných regulačních struktur v prostředí OpenModelica. Poté se bakalářská práce zaměřuje na srovnání chování vytvořených modelů s dostupnými modely v prostředí Matlab-Simulink. Cílem bakalářské práce bylo vyexportovat FMU, přeložit, odsimulovat a prácovat s modely z prostředí OpenModelica do Matlab-Simulink. Teoretický popis základních typů střídavých pohonů se nachází na prvních dvou kapitolách. Ve třetí kapitole se bakalářská práce zabývá srovnáváním modelů vytvořených v OpenModelica a Matlab-Simulink, a porovnává výsledky simulace. Na konci, jsou uvedeny základní informace o standardu FMI, FMU a mluví se o překadu modely z prostřdí OpenModelica, pomocí JModelica-y do Matlab-Simulink-u.
|
|
|
Cellular Automata Simulator
Martinek, Dominik ; Polášek, Petr (referee) ; Peringer, Petr (advisor)
This work describes concept and implementation of cellular automata simulator. It is resolved into three thematic parts. First part is devoted to describe many kinds of cellular automata.In second part is concept of simulator. Thirt part contains procedure of implementation and some test and exemplary models.
|
|
|
Laboratory tasks for Amira DTS200
Sikora, Jan ; Pohl, Lukáš (referee) ; Blaha, Petr (advisor)
In this work is introducing the laboratory system Amira DTS 200. It concerns of a system of 3 communicating vessels, pumps and pressure liquid level sensors. At this system are make several task on identification and regulation liquid level. System is simulated and controlled in Simulink diagram. Control is real-time via the Matlab Real- Time toolbox. System is identified by the help of analyses physical equation and their transferring to Simulink blocks. Some unknown parameters are experimentally measured. In regulation tasks is solved linearization, various basic methods of controller design and their using. Tasks include few check questions for students.
|
guest ::
